nums := [100,200,300]

all_num_positive if {
    every num in nums {
        num > 0
    }
}
